A new binary decision diagram device and circuit 一種新型二元判定圖器件和電路
The study of ordered binary decision diagram and its constructing arithmetic 有序二叉判定圖及其構(gòu)造算法研究
binary decision diagram minimization algorithm based on genetic tabu hybrid strategy 基于遺傳禁忌混合策略的二叉判定圖最小化算法研究
1996, 143 : 205-212.5 purwar s . an efficient method of computing generalized reed-muller expansions from binary decision diagram . in ieee trans 本文提出了將邏輯函數(shù)表示成真值矢量,用提出的積收縮,通用和收縮,消去和分解算符來收縮真值矢量的算法。
An active fta constructing method, qualitative and quantitative as well as module analysis of fta based on binary decision diagram ( bdd ) was researched in this thesis 本文研究了動態(tài)建造故障樹的方法,以及基于bdd的故障樹定性分析、定量分析和模塊分析方法。
Bdd ( binary decision diagram ) is the state-of-the-art data structure in logic function . it is widely used in the fields of computer science and digital circuit and system 二元判決圖bdd(binarydecisiondiagram)是邏輯布爾函數(shù)的一種高效表示方法,在計算機(jī)科學(xué)以及數(shù)字電路與系統(tǒng)等領(lǐng)域中有廣泛的應(yīng)用。
The features of aircraft flight line maintenance expert system were analyzed in this dissertation . decision fault tree ( dft ) based binary decision diagram ( bdd ) was presented, which applied in the expert system in combination with case based reasoning ( cbr ) 本文分析了飛機(jī)航線維護(hù)排故專家系統(tǒng)的特點,提出了基于二元決策圖的判定故障樹方法,并將該方法和基于事例推理的方法應(yīng)用于專家系統(tǒng)的開發(fā),給出了這兩種方法的集成診斷模型。
Reliability is an important parameter in evaluating the performance of a communication network . anew algorithm of computing networks reliability by using binary decision diagrams ( bdd ) is presented in this paper . the algorithm can get a much simpler bdd diagram than the other algorithms, and can reduce the complexity of the computation efficiently 關(guān)于網(wǎng)絡(luò)可靠度,在已有結(jié)果的基礎(chǔ)上,提出了一種利用二元判決圖計算網(wǎng)絡(luò)可靠度的方法,該方法將網(wǎng)絡(luò)的最小路集用二元判決圖來表示,并得到最小路集的不交和,最后獲得網(wǎng)絡(luò)的可靠度。